|
|
From Boolean Logic to Switching Circuits and Automata
by Stanković, Radomir S.
Publication:
. XVIII, 214p. 135 illus., 70 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Morrill, Glyn.
Publication:
. X, 293 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Riguzzi, Fabrizio.
Publication:
. X, 273 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 580 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Language of Mathematics
by Ganesalingam, Mohan.
Publication:
. XX, 260 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Rough Sets XVI
by Peters, James F.
Publication:
. X, 221 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Lodaya, Kamal.
Publication:
. X, 259 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reasoning Web. Semantic Technologies for Advanced Query Answering
by Eiter, Thomas.
Publication:
. IX, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 231 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
PRICAI 2012: Trends in Artificial Intelligence
by Anthony, Patricia.
Publication:
. XXIV, 905 p. 332 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Groote, Philippe.
Publication:
. X, 290 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Rough Sets XV
by Peters, James F.
Publication:
. IX, 181p. 54 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Sets and Knowledge Technology
by Li, Tianrui.
Publication:
. XVIII, 526 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Logic of Categorial Grammars
by Moot, Richard.
Publication:
. X, 300 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Lectures on Logic and Computation
by Bezhanishvili, Nick.
Publication:
. VIII, 265 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Birkedal, Lars.
Publication:
. XVII, 484 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Lukasiewicz, Thomas.
Publication:
. XII, 405 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modelling and Its Theoretical Foundations
by Düsterhöft, Antje.
Publication:
. VIII, 329 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|